Closure of a subset in a topological space

Metadata
aliases: []
shorthands: {"cla":"\text{cl}(A)"}
created: 2022-01-19 12:51:48
modified: 2022-01-19 16:06:15

Let be a topological space and .

Then the closure of a is the intersection of all closed sets containing .

Note that is closed if and only if .

Points/elements

The following is true for every point of a closure1:

if and only if for every neighborhood of ,

Notation


  1. Where denotes the empty set